automatic theorem proving - English Synonyms Dictionary